_(Prolog)'s WAM, an *(abstract VM) to support efficient Prolog compilation.

<ul class="links">
  <li>_("1983-1993: The Wonder Years of Sequential Prolog Implementation"|http://www.info.ucl.ac.be/people/PVR/implementation.html), Peter Van Roy, May/July 1994, Journal of Logic Programming. A survey of implementation technology and systems since the WAM.</li>
  <li>Hassan Ait-Kaci, _("Warren's Abstract Machine: A Tutorial Reconstruction"|http://www.cs.mu.oz.au/471/#admin) (a .ps under Reading list), MIT Press, 1991 (_("a copy"|http://www.vanx.org/archive/wam/wam.html) from the Vancouver _(XML) Developers Association (VanX), _(".html"|http://www.isg.sfu.ca/~hak/documents/wam.html) [_(MIA)]). The book is out of print, but its contents are on-line.</li>
</ul>
